Lectures on Concurrency and Petri Nets: Advances in Petri Nets
Author: Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-22261-3
DOI: 10.1007/b98282
Table of Contents:
- Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management
- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
- Timed Automata: Semantics, Algorithms and Tools
- Petri Nets and Dependability
- Process Algebra
- A Coloured Petri Net Approach to Protocol Verification
- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets
- A Survey on Non-interference with Petri Nets
- Synthesis of Asynchronous Hardware from Petri Nets
- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned
- Unbounded Petri Net Synthesis
- Petri Nets and Software Engineering
- Model Validation in Controller Design
- Graph Grammars and Petri Net Transformations
- Message Sequence Charts
- Model-Based Development of Executable Business Processes for Web Services
- Modelling and Control with Modules of Signal Nets
- Application of Coloured Petri Nets in System Development
- Bigraphs for Petri Nets
- Notes on Timed Concurrent Constraint Programming
Includes bibliographical references and index
Live Music Archive
Librivox Free Audio
Metropolitan Museum
Cleveland Museum of Art
Internet Arcade
Console Living Room
Books to Borrow
Open Library
TV News
Understanding 9/11
